-
1 validity theorem
Большой англо-русский и русско-английский словарь > validity theorem
-
2 validity theorem
Математика: теорема истинности -
3 validity theorem
-
4 validity theorem
теорема истинностиEnglish-Russian dictionary of technical terms > validity theorem
-
5 validity theorem
мат. -
6 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
7 теорема истинности
validity theorem мат.Русско-английский научно-технический словарь Масловского > теорема истинности
-
8 теорема истинности
truth theorem, validity theorem -
9 теорема истинности
Большой англо-русский и русско-английский словарь > теорема истинности
-
10 теорема истинности
Mathematics: validity theoremУниверсальный русско-английский словарь > теорема истинности
-
11 вытекать
(= вытечь, следовать) imply, follow, run out, flow out, arise from, result from, ensue• В частности отсюда вытекает, что... - This implies in particular that...• Данная теорема немедленно вытекает из... - The theorem follows at once from...• За исключение последнего, все эти результаты немедленно вытекают из того факта, что... - All these results except the last follow immediately from the fact that...• Заключение, которое вытекает из следующих двух примеров, состоит в том, что... - The conclusion to be drawn from these two examples is that...• Заметьте, что из F = G вытекает, что такое т существует. - Note that F = G implies that m exists.• Из вышеуказанного утверждения следует дополнительный результат. - The above argument gives us the following additional result.• Из нашего обсуждения соотношения (4), а также из того факта, что..., вытекает... - This follows from our discussion of (4) and the fact that...• Из последнего условия вытекает, что... - From the latter condition it follows that...• Из предыдущих результатов вытекает, что... - It follows from the foregoing results that...• Из процитированных выше результатов вытекает, что... - From the results quoted above it follows that...• Из этих результатов вытекает, что... - These results imply that...• Из этого вытекает еще одно выражение для... - This yields yet another expression for...• Из этого вытекает, что... - This suggests that...• Из этого исследования вытекает, что... - From this investigation it appears that...• Из этого факта, совместно с (1), вытекает, что... - This fact, taken together with (1), implies that...• Как вытекает из самого названия... - As its name implies,...• Одна интересная вариация последнего примера вытекает из... - An interesting variation on the last example is provided by...• Отсюда немедленно вытекает, что... - It follows immediately that...• Первая часть немедленно вытекает из... - The first part follows at once from...• Подтверждение этой точки зрения (= такого понимания) вытекает из того факта, что... - Confirmation of this view is found in the fact that...• Решения этой проблемы легко вытекают из... - Solutions of this problem follow readily from...• Следующая часть (теоремы) вытекает из... - The next part follows from...• Справедливость данного утверждения вытекает из соотношения (3.1). - The validity of the statement follows from (3.1).• Условие, которое называется..., вытекает из потери... - A condition called... results from a loss of...• Это вытекает немедленно из определения оператора D/Dt. - This follows at once from the meaning of the operator D/Dt.• Это немедленно вытекает из физических соображений. - This follows at once from physical considerations.• Это очевидным образом вытекает из того факта... - This is clearly borne out by the fact that...• Этот результат вытекает из изучения... - This result follows from a study of... -
12 предположение
(= гипотеза) supposition, hypothesis, suggestion, assumption, premise, conjecture, presumption, guess, proposal• Будем отыскивать противоречие с предположением, что... - We shall seek a contradiction to the assumption that...• Было сделано предположение, что... - It was assumed that...• В (1) неявно принимается предположение, что... - Implicit in (1) is the assumption that...• В данном параграфе делаются следующие предположения:... - In this section the following assumptions are made: (i)...• В данном подходе имеется неявное предположение, что... - Implicit in this viewpoint is the assumption that...• В этой модели делается неявное предположение, что... - Implicit in this model is the assumption that...• Возможно, это разумное предположение, что... - It is probably a reasonable assumption that...• Все эти исследования основываются на одном и том же предположении. - All these studies rest on the same assumption.• Данное доказательство существенно опирается на наше предположение о том, что... - The proof rests fundamentally on our assumption that...• Данный результат объясняется и качественно, и количественно предположением, что... - This result is both qualitatively and quantitatively explained by the assumption that...• Джонс делает предположение, что... - Jones makes the assumption that...• До сих пор мы не делали предположений относительно... - So far we have made no assumptions regarding...• Другое рабочее предположение состоит в том, что... - Another working assumption is that...• Если это предположение неверно, то... - If this assumption is wrong, then...• Затем, согласно предположению,... - Then, by hypothesis,...• Здесь мы уже сделали два важных предположения. - Here we have made two important assumptions.• Имеется несколько причин, по. которым в этом предположении следует усомниться. - There are several reasons why this assumption should be questioned.• Интересно предположение, действительно ли... - It is interesting to speculate whether...• Исходя из ошибочного предположения, что... - On the mistaken assumption that...• Каждая из этих теорий включает в себя предположения относительно... - Each of these theories involves assumptions about...• Можно было бы попытаться объяснить этот эффект предположением, что... - One could try to explain this effect by assuming that...• Мы будем придерживаться нашего начального предположения, что... - We shall maintain our initial assumption that...• Мы делаем обычное предположение, что... - We make the usual assumption that...• Мы делаем это в предположении, что... - We do this on the assumption that...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы исходим из предположения... - We proceed from the assumption that...; We operate on the premise that...• Наиболее просто это было объяснено предположением, что... - This was most simply explained by the supposition that...• Напоминаем, что по отношению... не было введено никаких предположений. - Recall that no assumptions have been made with regard to...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Нашим начальным предположением было то, что... - Our initial assumption was that...• Необходимо сделать некоторое предположение относительно... - It is necessary to make some assumption regarding...• Неявно в этом предположении содержится... - Implicit in this assumption is that...• Обоснование данного предположения затрагивает теорию... - The justification of this assumption involves the theory of...• Обоснование для этих предположений находится единственно в... - The justification of these assumptions lies solely in...• Однако мы никогда не вводили никаких предположений относительно... - At no time, however, have we made any assumptions regarding...• Однако не менее важным является предположение, что... - Equally important, however, is the assumption that...• Они были выведены в предположении, что... - These were derived on the assumption that...• Они ввели простое предположение, что... - They made the simple assumption that...• Относительно... здесь не делается никаких предположений. - No assumption is made here about...• Предыдущее уравнение базируется на предположении... - The above equation is based on the assumption that...• Предыдущие рассуждения базируются на предположении... - The foregoing arguments rely on the assumption that...• Предыдущие результаты были получены в рамках предположения... - The above results have been obtained under the assumption of...• При более слабых предположениях о регулярности начальных данных... - Under weaker regularity assumptions on initial data...• При этих предположениях относительно к мы получаем... - Under the assumptions made on к, we get...• Простейшее разумное предположение состоит в том, что... - The simplest reasonable assumption is that...• Распространенной ошибкой является предположение, что... - It is a common error to suppose that...• Следовательно, мы выдвигаем предположение, что... - We therefore conjecture that...• Справедливость данного предположения будет рассмотрена позднее, когда... - The validity of this assumption will be considered further when...• Теперь мы исключим предположение, что... - We now remove the assumption that...• Теперь это предположение доказано, так как... - This assumption has now been justified, since...• Тест основывается на предположении о том, что... - The test rests on the assumption that...• Хотя такое предположение кажется правдоподобным,... - Although such an assumption seems plausible,...• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...• Чтобы избежать неуместных усложнений, мы сделаем упрощающее предположение, что... - То avoid undue complication we make the simplifying assumption that...• Эти результаты согласуются с предположением, что... - These results are consistent with the assumption that...• Это очень грубое предположение влечет за собой... - This very crude assumption yields...• Это предположение игнорирует тот факт, что... - The assumption ignores the fact that...• Это предположение согласуется с... - The assumption is consistent with...• Это противоречит предположению, что... - This is contrary to the hypothesis that...• Это противоречит широко используемому предположению, что... - This is contrary to the widely used assumption that...• Это решение основано/основывается на предположении, что... - This solution is based on the assumption that...• Это является следствием предположения относительно существования... - This is a consequence of assuming the existence of...• Этот результат не зависит ни от каких предположений относительно... - This result is independent of any assumption about... -
13 уравнение
equation, formula* * *уравне́ние с.
equationуравне́ние ви́да … — an equation of the form …входи́ть в уравне́ние — appear in the equation, enter into the equationвыводи́ть уравне́ние — derive an equationзапи́сывать уравне́ние относи́тельно, напр. ста́ршей произво́дной — write an equation to solve for, e. g., the highest derivativeуравне́ние име́ет еди́нственное реше́ние — the equation has a unique solutionопро́бовать уравне́ние по о́пытным да́нным — check [test] an equation against experimental dataуравне́ние относи́тельно, напр. х — an equation in, e. g., xпо уравне́нию — according to the equationподбира́ть уравне́ние, напр. к гипотети́ческому механи́зму реа́кции — fit an equation, e. g., to a postulated reaction mechanismпревраща́ть уравне́ние в то́ждество — reduce an equation to an identityприводи́ть уравне́ние к сле́дующему ви́ду — reduce an equation to the following formуравне́ние, разреши́мое относи́тельно, напр. х — an equation solvable for, e. g., xразреши́ть уравне́ние относи́тельно, напр. ста́ршей произво́дной — re-write an equation to solve for, e. g., the highest derivative; re-write an equation with, e. g., the highest derivative (on the left-hand side)разреши́ть уравне́ние относи́тельно, напр. х — re-arrange an equation to solve for, e. g., xреша́ть уравне́ние относи́тельно, напр. х — solve the equation for, e. g., xреша́ть уравне́ния совме́стно — solve equations simultaneouslyреша́ть с по́мощью уравне́ния — solve by equationуравне́ние с одни́м неизве́стным — an equation in one unknownсоотве́тствовать уравне́нию — fit an equationсоставля́ть уравне́ние — formulate [form, set up, write] an equationуравне́ние сте́пени n — an equation of degree n [of the nth degree], an nth -degree equationтранспони́ровать уравне́ния — transpose equationsудовлетворя́ть уравне́нию — satisfy an equationуравне́ние адиаба́ты — adiabatic equationалгебраи́ческое уравне́ние — algebraic equationуравне́ние бала́нса — balance (equation)уравне́ние бари́ческой тенде́нции — tendency equationуравне́ние Берну́лли — Bernoulli's theoremбиквадра́тное уравне́ние — biquadratic, biquadratic [quartic] equationуравне́ние Бо́льцмана — Boltzmann equationуравне́ние Ван-дер-Ваа́льса — Van der Waals' equationвеково́е уравне́ние — secular equationве́кторное уравне́ние — vector equationуравне́ние в коне́чных ра́зностях — difference equationуравне́ние во́дного бала́нса — hydrologic [hydrolicity] equationволново́е уравне́ние — wave equationуравне́ние в по́лных дифференциа́лах — total [exact differential] equationуравне́ние второ́й сте́пени — quadratic [second-degree] equationуравне́ние Га́мильтона — canonical equation of motionуравне́ние Ги́ббса-Гельмго́льца — equation of maximum workуравне́ние горе́ния — combustion equationуравне́ние да́льности де́йствия рлк ста́нции, основно́е — (radar) range equationуравне́ние движе́ния — equation of motionуравне́ние движе́ния жи́дкости — flow equationуравне́ние дина́мики — equation of motion, dynamic(al) equationдиофа́нтово уравне́ние — Diophantine equationдифференциа́льное уравне́ние — differential equationдифференциа́льное уравне́ние в по́лных дифференциа́лах — exact (differential) equationдифференциа́льное уравне́ние второ́го поря́дка — second-order differential equationдифференциа́льное уравне́ние в ча́стных произво́дных — partial differential equationдифференциа́льное, обыкнове́нное уравне́ние — ordinary differential equationдифференциа́льное уравне́ние пе́рвого поря́дка — first-order differential equationдифференциа́льное, стохасти́ческое уравне́ние — stochastic differential equationдифференциа́льное уравне́ние управле́ния — control differential equationдифференциа́льно-ра́зностное уравне́ние — differential-difference equationуравне́ние диффу́зии — diffusion equationинтегра́льное уравне́ние — integral equationинтегра́льное уравне́ние пе́рвого ро́да — integral equation of the first kindинтегра́льное уравне́ние Фредхо́льма — Fredholm equationинтегродифференциа́льное уравне́ние — integro-differential equationисхо́дное уравне́ние — input [original] equationкалибро́вочно-инвариа́нтное уравне́ние — gauge-invariant equationканони́ческое уравне́ние — canonical equationквадра́тное уравне́ние — quadratic equationквадра́тное, непо́лное уравне́ние — pure quadratic (equation), incomplete quadratic (equation)квадра́тное, по́лное уравне́ние — affected quadratic (equation), general form of a quadratic equationуравне́ние кинети́ческое уравне́ние — rate [kinetic] equationуравне́ние Клапейро́на — Clapeyron equationуравне́ние коли́чества движе́ния — momentum equationконе́чно-дифференци́руемое уравне́ние — finitely differentiable equationуравне́ние ко́нтурных то́ков — mesh-current [loop-current] equationкуби́ческое уравне́ние — cubic equationлине́йное уравне́ние — linear equationуравне́ние стано́вится лине́йным относи́тельно, напр. вре́мени — the equation becomes linear in, e. g., timeлогарифми́ческое уравне́ние — logarithmic equationуравне́ние Ма́ксвелла — Maxwell's equationмасшта́бное уравне́ние вчт. — transformation equationматериа́льное уравне́ние элк. — constitutive relationма́тричное уравне́ние — matrix equationмаши́нное уравне́ние вчт. — machine equationуравне́ние n [m2]-го поря́дка — equation of the nth order, nth -order equationуравне́ние n [m2]-й сте́пени — nth -degree equation, equation of degree nнеодноро́дное уравне́ние — inhomogeneous [nonhomogeneous] equationнеопределё́нное уравне́ние — indeterminate equationуравне́ние непреры́вности — continuity equationнеприводи́мое уравне́ние — irreducible equationуравне́ние неразры́вности — continuity equationодноро́дное уравне́ние — homogeneous equationокисли́тельно-восстанови́тельное уравне́ние — oxidation-reducton equationопера́торное уравне́ние — operator equationосновно́е уравне́ние — basic equationуравне́ние параболи́ческого ти́па — parabolic equationпараметри́ческое уравне́ние — parametric equationуравне́ние пе́рвого поря́дка — first-order equationуравне́ние пе́рвой сте́пени — simple equationуравне́ние переме́нного то́ка — equation for an alternating currentуравне́ние перено́са — transport [transfer] equationуравне́ние пограни́чного сло́я — boundary-layer equationуравне́ние по́ля — field equationуравне́ние правдоподо́бия — likelihood equationуравне́ние преобразова́ния — transformation equationпрове́рочное уравне́ние ( на чётность) — parity(-check) equationуравне́ние прямо́й в отре́зках — intercept form of [for] the equation of a straight lineуравне́ние прямо́й с угловы́м коэффицие́нтом — slope-intercept form of [for] the equation of a straight lineуравне́ние Пуассо́на — adiabatic equationуравне́ние равнове́сия — equilibrium equationуравне́ние радиолока́ции, основно́е — radar equationуравне́ние радиолока́ции, основно́е, для свобо́дного простра́нства — free-space radar equationуравне́ние разме́рностей — dimensional equationра́зностное уравне́ние — difference equationуравне́ние регре́ссии — regression equationпроверя́ть уравне́ние регре́ссии на адеква́тность по крите́рию Фи́шера — test the adequacy [validity] of the regression equation on the basis of Fisher's variance ratioуравне́ние регули́руемого объе́кта автмт. — plant [process] equationрелятиви́стское уравне́ние — relativistic equationуравне́ние свя́зи — constraint equationскаля́рное уравне́ние — scalar equationскоростно́е уравне́ние — rate [kinetic] equationуравне́ние согласова́ния цвето́в — colour match equationсопряжё́нное уравне́ние — adjoint equationуравне́ние состоя́ния — equation of state, characteristic equationуравне́ние состоя́ния идеа́льного га́за — Clapeyron equationуравне́ние сохране́ния — conservation equationуравне́ние сохране́ния моме́нта коли́чества движе́ния — angular momentum [moment-of-momentum] equationуравне́ние сохране́ния эне́ргии — energy equationуравне́ние с разделя́ющими(ся) переме́нными — equation with variables separable, separable equationуравне́ние сте́пени n — an equation of degree n, an nth -degree equation, an equation of the nth degreeстепенно́е уравне́ние — exponential equationстехиометри́ческое уравне́ние — stoichiometric equationтелегра́фное уравне́ние — telegraphers equationте́нзорное уравне́ние — tensor equationуравне́ние теплово́го бала́нса — heat balance equationуравне́ние теплопрово́дности — heat [heat conduction, heat transfer] equationуравне́ние тече́ния — flow equationто́чное уравне́ние — exact equationуравне́ние траекто́рии — path equationтрансценде́нтное уравне́ние — transcendental equationтригонометри́ческое уравне́ние — trigonometric equationуравне́ние узловы́х потенциа́лов эл. — nodal-voltage equationфункциона́льное уравне́ние — functional equationхарактеристи́ческое уравне́ние — characteristic equationхими́ческое уравне́ние — chemical equationуравне́ние хо́да луче́й опт. — ray-tracing equationцветово́е уравне́ние — trichromatic equationуравне́ние Шре́дингера — Schrцdinger (wave) equationуравне́ние Э́йлера для тре́ния кана́та по цили́ндру — capstan equationуравне́ние Эйнште́йна для вне́шнего фотоэффе́кта — Einstein photoelectric equationэллипти́ческое уравне́ние — elliptic(al) equationэмпири́ческое уравне́ние — empirical equation -
14 hypothesis
n гипотеза, предположениеon the hypothesis that … — в предположении, что …
Синонимический ряд:1. conjecture (noun) assumption; conjecture; guess; notion; presumption; presupposition2. postulate (noun) postulate; premise; supposal; supposition; theorem; theory; thesis3. tentative assumptions (noun) assumptions; basis for discussion; educated guess; preliminary layout; tentative assumptions; unproved theoryАнтонимический ряд:
См. также в других словарях:
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… … Universalium
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Taylor's theorem — In calculus, Taylor s theorem gives a sequence of approximations of a differentiable function around a given point by polynomials (the Taylor polynomials of that function) whose coefficients depend only on the derivatives of the function at that… … Wikipedia
Fluctuation theorem — The fluctuation theorem (FT) is a theorem from statistical mechanics dealing with the relative probability that the entropy of a system which is currently away from thermodynamic equilibrium (maximum entropy) will increase or decrease over a… … Wikipedia
Cochran's theorem — In statistics, Cochran s theorem, devised by William G. Cochran,[1] is a theorem used in to justify results relating to the probability distributions of statistics that are used in the analysis of variance.[2] Contents 1 Statement 2 … Wikipedia
Newton's theorem about ovals — In mathematics, Newton s theorem about ovals states that the area cut off by a secant of a smooth convex oval is not an algebraic function of the secant. Isaac Newton stated it as lemma 28 of section VI of book 1 of Newton s… … Wikipedia
Trakhtenbrot's theorem — In logic (usually computational) and finite model theory, Trakhtenbrot s theorem (due to Boris Trakhtenbrot) states that the problem of validity in the class of all finite models is undecidable. In fact, the class of valid sentences over finite… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia